c formula generated with seed 1, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 8, 9, 10, 13, 15, 16, 17, 18, 19, 22, 27, 28, 30, 31, 32, 33, 36, 38, 40, 41, 43, 46, 47, 49, 50, 55, 56, 57, 58, 61, 66, 71, 73, 78, 82, 84, 85, 89, 91, 94, 95, 96, 97, 98, 104, 109, 111, 112, 113, 115, 117, 124, 125, 127, 133, 134, 135, 137, 138, 139, 140, 141, 146, 147, 150, 151, 152, 153, 154, 155, 159, 162, 163, 166, 167, 169, 170, 171, 173, 175, 178, 179, 180, 181, 182, 184, 185, 186, 191, 192, 195, 196, 201, 202, 205, 207, 210, 211, 215, 216, 217, 218, 220, 222, 224, 225, 226, 227, 228, 233, 235, 238, 239, 242, 243, 244, 246, 247, 248, 249, 250, 251, 253, 254, 256, 258, 259, 260, 262, 263, 266, 268, 272, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 290, 291, 292, 294, 295, 297, 298, 299, 300, 303, 308, 311, 312, 313, 316, 317, 318, 322, 323, 324, 329, 330, 333, 334, 336, 337, 338, 347, 348, 349, 351, 354, 355, 356, 357, 358, 359, 360, 364, 366, 368, 369, 371, 372, 373, 377, 379, 381, 384, 386, 389, 391, 393, 398, 399, 402, 404, 409, 411, 416, 419, 423, 424, 426, 429, 430, 434, 435, 443, 444, 445, 447, 448, 453, 454, 455, 456, 457, 458, 461, 462, 463, 464, 469, 472, 473, 474, 476, 477, 484, 485, 487, 488, 490, 491, 492, 494, 495, 498}
p cnf 500 2205
373 -292 -281 0
327 -120 285 0
490 66 484 0
-457 -128 -329 0
70 378 -53 0
325 224 156 0
-5 453 109 0
-266 178 239 0
220 -332 153 0
145 308 450 0
72 440 32 0
-260 192 -272 0
198 417 -7 0
-262 -27 266 0
352 26 -234 0
-455 488 276 0
23 -385 382 0
314 -372 111 0
132 -437 -185 0
310 48 10 0
-230 -30 350 0
-116 -417 38 0
-249 -101 -291 0
172 -241 376 0
-162 164 373 0
-83 182 434 0
232 371 -251 0
264 -101 -453 0
54 227 -173 0
-128 500 -488 0
200 -147 -331 0
-207 165 191 0
-110 287 256 0
94 352 102 0
110 -98 247 0
269 337 -31 0
-99 249 -86 0
265 -96 -257 0
349 457 -161 0
367 -299 -168 0
500 -13 71 0
-168 -369 -171 0
-99 -120 -176 0
-273 -80 -53 0
-428 -201 390 0
459 -167 -396 0
284 425 -347 0
121 331 -7 0
-109 344 181 0
-472 306 445 0
474 319 -258 0
295 -346 349 0
-45 30 -403 0
393 -468 19 0
-467 -10 407 0
95 449 311 0
-458 90 364 0
444 397 -115 0
-416 -294 66 0
-185 -24 -133 0
444 -72 -275 0
346 316 310 0
350 -357 -305 0
1 -79 -431 0
-466 -132 -11 0
22 247 -446 0
-394 -420 -136 0
72 261 -395 0
288 -253 202 0
242 122 -357 0
-392 -46 306 0
461 -337 -330 0
440 355 -13 0
-116 400 -9 0
-364 -116 -51 0
-274 121 450 0
-7 30 201 0
-359 223 186 0
102 68 55 0
317 -385 454 0
137 -165 -446 0
-18 381 -286 0
407 454 321 0
-101 258 411 0
-269 178 258 0
-153 -196 141 0
-29 -43 271 0
179 92 -124 0
-484 -104 -23 0
-344 -229 357 0
-62 354 -302 0
-410 448 358 0
127 122 -155 0
263 -273 -194 0
-271 -235 165 0
299 93 -473 0
-375 -253 -402 0
263 -321 -198 0
-434 91 114 0
41 125 285 0
366 -201 164 0
192 146 217 0
-238 -493 -359 0
340 -391 27 0
61 33 205 0
-243 319 300 0
-243 -102 -139 0
-378 -368 -10 0
415 -256 -42 0
-75 -292 345 0
338 -64 171 0
-398 -49 -331 0
311 -391 29 0
-479 -390 -143 0
409 -99 -314 0
284 31 -401 0
339 -249 316 0
-275 355 182 0
26 271 91 0
379 244 146 0
453 81 378 0
-13 176 -365 0
262 -361 -500 0
46 81 206 0
-267 -428 -53 0
-12 -499 454 0
-312 -436 118 0
45 16 -192 0
-387 -163 296 0
-348 8 261 0
-360 -260 448 0
385 59 -273 0
55 -207 232 0
-455 97 -262 0
469 18 -6 0
-180 -73 391 0
-92 159 -150 0
-114 -321 322 0
113 -423 -216 0
-163 74 -177 0
90 -402 -417 0
261 329 -488 0
-394 -464 160 0
-265 -18 131 0
247 -194 178 0
10 9 364 0
-388 -15 -379 0
352 377 -386 0
-147 -301 104 0
-188 -310 -396 0
-465 -480 304 0
-99 494 248 0
283 -60 -449 0
322 281 371 0
-47 330 -95 0
-7 222 -119 0
-252 -125 415 0
288 482 82 0
164 -73 -110 0
-137 169 421 0
-399 193 -274 0
379 -179 -319 0
284 -367 -44 0
422 373 -359 0
-463 -249 -172 0
462 151 444 0
-290 417 -388 0
-392 160 -220 0
490 -350 -315 0
-117 -131 362 0
365 -184 -130 0
253 -286 -186 0
469 -9 -430 0
-270 228 -75 0
-194 -163 -12 0
154 -499 -420 0
63 -59 -386 0
372 151 -193 0
-35 56 140 0
-241 268 -325 0
-343 83 -295 0
454 -129 239 0
151 325 375 0
101 423 -260 0
-484 279 417 0
-352 -247 243 0
263 149 -137 0
225 -449 125 0
-195 120 -367 0
237 -321 35 0
340 -280 30 0
323 102 -448 0
-440 -8 -216 0
20 484 -117 0
123 366 478 0
76 181 363 0
-76 292 -306 0
-137 3 71 0
380 225 -32 0
366 170 327 0
444 371 -478 0
-422 -498 -239 0
149 -173 262 0
-309 410 -391 0
-5 -468 379 0
350 -163 97 0
-495 138 54 0
-31 -281 -441 0
228 322 368 0
375 410 -407 0
290 -192 -318 0
126 -292 -60 0
-150 -161 -225 0
-217 352 -83 0
187 -179 127 0
-333 -359 -345 0
249 211 -54 0
326 432 -99 0
-349 388 124 0
263 56 -174 0
-495 25 -241 0
-92 -479 94 0
-352 -187 -482 0
158 -317 166 0
12 -206 274 0
-362 -352 379 0
97 -64 333 0
62 -281 -321 0
-494 -471 481 0
-434 -68 378 0
-433 -465 -489 0
-482 -264 -172 0
-381 250 144 0
402 55 -120 0
-254 -288 -217 0
67 442 141 0
-426 393 -391 0
93 268 -169 0
-14 -433 -307 0
261 -20 -455 0
482 317 -196 0
111 -461 -469 0
258 342 -443 0
283 498 286 0
-363 100 -125 0
-434 -462 -93 0
478 453 107 0
89 17 -468 0
-18 -391 153 0
-460 436 -112 0
-385 -307 -420 0
-360 114 195 0
-111 -153 -200 0
-306 -488 -205 0
140 20 81 0
-155 379 164 0
-64 -134 -18 0
477 -12 -108 0
221 -295 -401 0
167 159 -19 0
-206 5 -299 0
281 127 -320 0
215 -240 -108 0
116 -441 -140 0
-144 -263 267 0
181 89 -466 0
405 302 41 0
-203 469 -328 0
-314 100 208 0
410 422 312 0
53 -148 20 0
478 -198 -176 0
-251 -348 262 0
-489 469 356 0
102 444 483 0
284 -39 -214 0
11 -212 -46 0
331 269 -212 0
-142 -77 169 0
-476 -461 268 0
102 279 310 0
345 -493 -358 0
19 300 -491 0
162 -328 -344 0
118 -307 128 0
452 102 -88 0
208 362 171 0
-361 418 -445 0
-84 -43 -143 0
182 -135 180 0
360 -397 -452 0
-98 488 394 0
181 423 -240 0
409 321 90 0
128 -190 304 0
48 -19 228 0
-109 326 -20 0
-452 89 -203 0
-197 424 350 0
464 79 -366 0
-64 -263 -491 0
-172 469 472 0
269 -209 131 0
96 -157 317 0
249 201 82 0
-366 296 -466 0
-211 -61 -261 0
-481 273 -402 0
-8 -379 313 0
110 56 -300 0
68 -436 126 0
31 30 -188 0
-193 -183 84 0
232 -85 -257 0
451 -183 261 0
21 470 -261 0
92 23 -314 0
239 161 361 0
-478 213 390 0
-339 103 -318 0
208 401 -436 0
-477 -461 -315 0
427 8 245 0
55 43 125 0
-97 -188 -32 0
-37 461 278 0
-142 -440 166 0
47 100 -409 0
-478 -228 37 0
-490 -296 -78 0
25 280 -291 0
153 -58 174 0
350 148 133 0
-382 276 -46 0
-205 306 202 0
242 -464 -73 0
335 -290 -118 0
65 105 -271 0
-432 260 316 0
131 341 192 0
26 340 -176 0
-60 349 -241 0
-347 -272 162 0
-322 226 -166 0
206 204 263 0
100 447 136 0
-146 -119 -369 0
104 -54 96 0
326 101 139 0
-115 301 112 0
-339 -423 -455 0
290 -29 211 0
-304 -190 -197 0
-411 -148 245 0
-451 -374 256 0
-5 -142 -130 0
325 -9 -255 0
-28 -99 326 0
397 174 -160 0
440 352 201 0
48 -188 352 0
-57 400 372 0
208 33 216 0
248 -231 -105 0
9 45 -97 0
-115 151 -235 0
289 453 -423 0
-408 106 25 0
328 176 -177 0
-84 292 -368 0
-11 -307 -403 0
399 342 -312 0
368 195 488 0
-296 -162 -182 0
-130 408 -43 0
-360 -433 -170 0
-244 460 456 0
-489 456 10 0
394 14 -79 0
117 247 125 0
192 -136 -16 0
-185 -250 316 0
435 497 53 0
-435 131 -76 0
54 -489 62 0
-285 -176 -416 0
359 -500 430 0
332 23 -53 0
-79 -69 -346 0
-363 367 -91 0
430 70 161 0
99 417 -76 0
148 11 -482 0
-275 -292 -155 0
339 -358 -236 0
96 240 241 0
137 307 345 0
222 -360 -311 0
37 148 227 0
-59 333 -4 0
-332 367 -260 0
-242 164 -302 0
-83 -486 -161 0
-158 154 458 0
119 -476 -129 0
455 485 430 0
273 206 -257 0
-158 -327 -199 0
449 -467 336 0
-232 -302 -446 0
-130 -58 367 0
-462 135 54 0
287 253 -440 0
-88 447 171 0
-479 -297 -312 0
397 -353 -91 0
-474 460 94 0
453 253 222 0
-479 37 -292 0
-228 43 81 0
-297 145 -12 0
40 -378 -199 0
115 472 -230 0
-329 -472 -23 0
294 -88 325 0
-158 -413 235 0
-468 483 -98 0
128 -362 -135 0
17 418 114 0
-468 113 -446 0
260 269 213 0
190 -255 -162 0
355 403 160 0
-460 -41 -215 0
-76 244 -51 0
121 -391 357 0
348 20 482 0
-185 -429 -407 0
27 -180 306 0
460 200 456 0
-148 -295 -351 0
481 168 -44 0
102 454 212 0
87 -181 -221 0
238 453 272 0
-338 -203 -266 0
-451 154 444 0
-113 367 278 0
-469 -396 -95 0
284 -53 201 0
-128 28 224 0
77 296 318 0
-178 325 -68 0
-492 92 484 0
264 -81 -135 0
-88 124 371 0
-482 301 114 0
46 -446 163 0
-296 323 -23 0
-70 185 -72 0
360 -405 -149 0
-76 -369 230 0
-196 80 41 0
-200 -22 -133 0
-382 -170 319 0
23 -413 245 0
-247 -454 -315 0
-95 380 -190 0
-288 147 185 0
114 304 469 0
235 -73 -282 0
311 -233 240 0
56 466 172 0
-234 -52 -468 0
-54 -456 -125 0
-124 -329 46 0
-209 -293 -161 0
-307 -489 351 0
-385 168 75 0
-494 -69 -291 0
360 -267 163 0
413 356 -138 0
100 146 -94 0
417 214 416 0
-388 -300 497 0
-327 -247 320 0
486 -446 471 0
-41 379 -283 0
352 -339 471 0
-130 -290 70 0
185 -303 -134 0
113 -120 398 0
126 -245 -104 0
-318 335 -440 0
233 332 346 0
-285 402 121 0
-95 54 368 0
-313 -138 -120 0
486 194 -24 0
-290 150 20 0
147 -380 115 0
-105 416 -497 0
-217 -3 -277 0
323 -485 -50 0
34 201 478 0
-148 -317 -146 0
-478 277 78 0
492 -58 -155 0
-389 -152 -451 0
-346 -2 82 0
224 -457 307 0
204 -255 -94 0
-215 338 -458 0
212 137 53 0
259 -24 159 0
160 147 -184 0
108 425 488 0
229 -321 -474 0
278 -106 179 0
188 -104 -441 0
-474 407 -376 0
88 14 -131 0
-178 235 -247 0
-456 -190 -430 0
257 118 356 0
-367 414 -384 0
-127 -356 351 0
-409 137 302 0
-168 484 -29 0
83 -461 17 0
-271 389 111 0
-263 493 244 0
-204 112 -343 0
322 -426 471 0
-119 365 -138 0
140 -107 487 0
-302 378 -464 0
245 -415 59 0
21 -187 -33 0
-292 -26 231 0
184 379 -478 0
417 1 478 0
-250 -267 231 0
383 -152 -432 0
-101 234 -457 0
-22 -406 107 0
-2 -283 203 0
-288 -211 -292 0
23 98 -462 0
-267 -325 175 0
-216 26 57 0
348 174 213 0
-90 210 -105 0
307 -33 348 0
326 -310 34 0
150 292 182 0
-215 101 311 0
168 -93 -494 0
135 -394 89 0
-435 173 -163 0
-243 95 374 0
479 20 426 0
115 287 402 0
277 -487 83 0
-347 379 160 0
191 15 -128 0
-490 260 149 0
315 465 -405 0
247 453 -420 0
-407 -184 110 0
-310 -7 -274 0
463 -381 -354 0
-69 95 -467 0
132 -22 -213 0
-169 222 35 0
196 -339 91 0
-29 124 -108 0
-457 -69 -36 0
-98 -172 39 0
-197 343 288 0
-199 -476 -218 0
-113 -488 -106 0
88 145 349 0
-268 -63 196 0
20 219 -63 0
-288 -271 -60 0
-314 379 50 0
381 -173 -322 0
378 -326 118 0
89 -157 226 0
-245 -195 237 0
-445 45 155 0
66 -130 -327 0
-238 -485 -446 0
-449 -230 -212 0
-271 444 434 0
-149 -371 12 0
-137 -303 492 0
-124 103 -190 0
44 455 100 0
-306 -145 347 0
267 -345 497 0
454 -61 376 0
4 -437 -254 0
-169 414 -269 0
-301 246 -130 0
-47 281 75 0
217 -492 -416 0
224 223 -256 0
192 33 473 0
129 -193 422 0
-77 159 -240 0
-280 -99 131 0
50 48 -32 0
252 480 -361 0
228 -496 222 0
26 -325 361 0
147 -67 -128 0
-212 115 -45 0
-240 381 38 0
312 -252 259 0
489 -34 -336 0
45 -400 -311 0
225 268 159 0
397 477 236 0
-477 391 482 0
-231 -193 355 0
447 -29 404 0
-253 -358 211 0
292 -304 290 0
276 374 279 0
224 477 -54 0
333 269 -277 0
-482 -314 109 0
312 236 273 0
-114 -17 172 0
-1 337 493 0
-17 -448 210 0
57 455 -101 0
-353 -15 -170 0
57 302 -133 0
-466 -460 316 0
-344 -55 -373 0
-123 434 88 0
-319 -86 19 0
-14 159 -403 0
298 430 416 0
-46 -70 370 0
-10 -36 256 0
-209 61 -190 0
169 -348 237 0
306 -289 -430 0
-249 150 414 0
17 -433 -99 0
-427 325 332 0
-304 -441 182 0
437 -268 98 0
180 56 -388 0
305 376 -375 0
43 -126 -289 0
108 -392 467 0
-375 291 146 0
-322 -412 445 0
394 -447 -442 0
334 462 290 0
-232 28 -437 0
347 -265 491 0
458 -342 218 0
-251 41 -96 0
-207 -8 251 0
-117 -329 -396 0
26 253 496 0
110 288 -417 0
41 422 -145 0
-56 234 474 0
376 -76 116 0
35 271 399 0
157 93 -48 0
-279 -252 -146 0
-471 266 -413 0
-451 -313 -247 0
252 475 -204 0
-273 175 191 0
158 -206 400 0
-292 369 -397 0
-405 298 -172 0
305 -375 -127 0
-334 -398 454 0
2 -129 -402 0
104 213 189 0
-484 300 -429 0
-468 -485 -472 0
-470 76 -459 0
195 59 -1 0
-203 209 -155 0
354 -217 497 0
189 -53 -487 0
218 166 17 0
-356 -12 -372 0
-472 -54 3 0
42 350 398 0
374 144 180 0
242 383 177 0
-195 255 -499 0
335 -367 200 0
-379 490 102 0
-108 59 450 0
-270 187 385 0
-59 -18 -166 0
-122 247 -341 0
328 446 135 0
-399 19 59 0
-413 -273 -320 0
337 -120 -482 0
-411 444 219 0
-158 -410 430 0
46 344 103 0
-369 251 59 0
28 3 -13 0
233 -451 98 0
148 -210 -174 0
6 237 -68 0
179 172 412 0
-202 155 12 0
-26 125 -63 0
-234 -375 -72 0
206 380 488 0
13 16 211 0
-489 -57 326 0
264 -112 -21 0
70 57 471 0
91 232 -373 0
467 -264 -445 0
201 498 -375 0
443 -189 277 0
-61 -189 378 0
451 -388 -368 0
-205 -92 -111 0
-493 46 -83 0
-38 -389 -223 0
417 220 62 0
201 55 338 0
269 348 60 0
-53 -47 -488 0
-454 166 -363 0
-431 87 -443 0
-83 342 7 0
415 489 -90 0
-269 -422 -37 0
-82 294 -366 0
-45 -298 -448 0
43 167 -305 0
-378 499 -109 0
291 -209 484 0
104 396 79 0
-274 49 260 0
367 -72 -78 0
419 173 117 0
-294 260 -448 0
-63 259 83 0
424 495 359 0
-443 476 405 0
-111 69 248 0
189 163 438 0
460 261 -441 0
392 -117 282 0
-13 24 473 0
60 -187 86 0
-105 313 -470 0
-100 134 247 0
496 -153 171 0
473 -422 150 0
458 295 -489 0
167 -484 190 0
176 383 151 0
-171 175 -430 0
310 245 498 0
81 -13 111 0
-489 29 39 0
41 -420 -486 0
-206 56 -39 0
-291 441 244 0
-89 55 -418 0
224 276 -222 0
382 -166 266 0
-224 -404 266 0
-116 -278 -463 0
247 -185 -336 0
76 -301 -186 0
417 25 -471 0
105 210 -151 0
-41 -132 39 0
116 -433 88 0
8 -400 285 0
-99 291 -314 0
-198 410 319 0
-365 310 496 0
230 149 356 0
-52 194 -34 0
-370 -336 -53 0
-251 240 182 0
395 235 332 0
-95 298 390 0
152 -131 -204 0
-345 57 -234 0
133 387 116 0
-122 -15 132 0
59 165 82 0
493 -379 -14 0
207 168 478 0
488 275 -322 0
-47 310 311 0
74 -441 -87 0
-388 211 282 0
241 419 475 0
460 166 -358 0
210 246 99 0
-199 -187 104 0
-379 -259 134 0
-180 219 472 0
-146 215 -55 0
175 -115 331 0
-354 -210 -79 0
322 462 284 0
-7 -31 -159 0
195 292 -158 0
-421 443 -497 0
-411 -79 -216 0
-69 -285 -151 0
-108 469 33 0
-64 -432 226 0
-312 -229 294 0
100 291 -463 0
-231 -266 -89 0
-191 493 140 0
161 200 -293 0
-340 388 -8 0
331 -150 -25 0
217 -407 91 0
344 -9 117 0
-458 399 388 0
75 157 133 0
483 -129 -112 0
-294 415 494 0
102 -316 -105 0
207 430 312 0
138 267 497 0
-51 -267 91 0
371 -160 -52 0
-127 177 336 0
-411 467 -274 0
383 -18 -273 0
-192 440 71 0
331 -326 482 0
373 -257 126 0
-334 225 232 0
103 -351 -60 0
-150 226 -354 0
-109 106 316 0
307 485 -351 0
-483 455 -198 0
348 -450 330 0
95 -34 171 0
-419 392 -81 0
27 36 -108 0
-459 -18 -150 0
-76 -486 281 0
-387 -480 -190 0
-167 -120 465 0
403 -58 -401 0
294 264 53 0
-26 283 260 0
433 -67 -139 0
184 368 284 0
-389 39 246 0
-427 -277 -377 0
-359 -129 255 0
8 242 -315 0
239 -447 209 0
-336 286 -316 0
-87 262 256 0
149 473 102 0
279 401 255 0
377 331 -419 0
491 487 -165 0
109 181 -177 0
-467 95 260 0
-392 360 -157 0
-302 -80 89 0
216 462 -256 0
13 -431 -313 0
-454 -156 271 0
385 -61 -427 0
260 477 449 0
-10 416 -424 0
377 -4 -77 0
11 76 313 0
468 -375 -117 0
430 -127 -476 0
-62 17 -77 0
422 -26 274 0
448 171 -425 0
109 -196 -402 0
190 172 -164 0
406 -48 -109 0
235 -59 -328 0
208 -400 470 0
485 -272 -393 0
180 -193 477 0
-160 198 -313 0
-63 -473 422 0
447 342 59 0
105 -16 -415 0
3 428 487 0
462 211 -4 0
319 95 -458 0
-193 492 139 0
186 178 354 0
294 -386 -494 0
-154 286 -91 0
-200 427 -85 0
-462 252 249 0
143 324 83 0
-430 -218 10 0
-323 409 -272 0
46 -270 423 0
424 4 129 0
-151 -200 314 0
-75 477 -467 0
-278 -485 -194 0
-396 392 365 0
-273 -318 232 0
-320 310 -112 0
243 -398 -237 0
-375 451 -359 0
-477 29 -397 0
-464 252 -107 0
14 481 -212 0
281 -346 -86 0
-297 80 316 0
150 -174 416 0
151 66 109 0
-261 -25 -478 0
322 -192 -384 0
-495 -168 335 0
454 185 -400 0
-403 -157 169 0
148 -254 434 0
412 -401 87 0
448 402 -401 0
-488 10 374 0
162 241 -84 0
-225 -329 181 0
-467 -367 278 0
61 -68 357 0
185 246 -72 0
-443 140 -113 0
-262 -209 -135 0
-339 -328 427 0
262 -219 485 0
-306 -41 130 0
238 -87 -128 0
-138 369 269 0
204 -133 260 0
246 -48 -221 0
13 -218 77 0
95 146 -496 0
431 360 -268 0
72 10 -57 0
91 -443 -13 0
-406 381 -304 0
-96 476 442 0
247 317 282 0
-37 -208 355 0
58 118 192 0
281 -192 12 0
279 78 473 0
134 65 -184 0
18 220 272 0
-30 487 114 0
-48 35 183 0
142 95 -228 0
331 -162 -478 0
-276 67 -133 0
109 403 -78 0
479 -329 354 0
-119 321 -82 0
-363 233 -123 0
-391 211 -362 0
427 307 258 0
238 -320 -418 0
56 15 -149 0
-122 -382 -319 0
244 -81 -79 0
149 -449 -27 0
22 -227 -47 0
33 260 -276 0
-425 297 -44 0
196 -410 154 0
181 78 -295 0
-255 -363 -293 0
-388 460 467 0
143 -348 -427 0
-253 419 -211 0
73 287 -103 0
262 14 -435 0
-13 440 -307 0
-197 470 446 0
-135 95 230 0
-91 -276 6 0
-404 231 192 0
35 226 451 0
-467 -320 -321 0
-477 207 -456 0
346 -387 -472 0
179 -286 375 0
-376 -184 174 0
-434 34 424 0
-367 494 147 0
-217 -113 333 0
-60 1 -87 0
455 171 -307 0
464 -45 18 0
313 -376 -306 0
-281 350 -478 0
473 -421 -483 0
434 -467 -414 0
-334 -327 205 0
263 362 271 0
-424 -472 254 0
333 243 -442 0
-494 -83 -67 0
-454 -199 296 0
-205 195 -477 0
-483 348 113 0
192 409 313 0
-98 157 -353 0
465 -493 382 0
-286 -420 6 0
-266 -339 -155 0
376 -317 477 0
429 111 196 0
77 411 -263 0
-34 -317 -289 0
279 -296 85 0
-233 129 329 0
-28 288 163 0
-296 479 -411 0
269 -172 231 0
349 -242 164 0
-10 -494 253 0
-133 -224 -380 0
-23 -212 131 0
156 -116 -217 0
492 13 300 0
303 -410 98 0
-36 -132 255 0
308 243 -199 0
477 -329 -85 0
-371 109 21 0
-324 185 -225 0
335 -201 -397 0
85 353 -140 0
-315 67 -455 0
339 444 65 0
-416 294 382 0
184 244 -450 0
-312 -465 482 0
-290 356 -40 0
-328 302 164 0
-52 -408 89 0
10 483 471 0
-341 365 -127 0
210 246 443 0
-276 58 -497 0
331 -232 -9 0
153 374 -283 0
-373 148 9 0
140 376 34 0
445 434 -460 0
-163 -410 388 0
455 -100 46 0
384 -417 -480 0
73 -142 429 0
324 471 212 0
133 182 311 0
178 -166 345 0
328 108 -302 0
-436 43 294 0
-132 -229 -123 0
-324 -152 494 0
494 -448 -115 0
165 -411 377 0
105 -318 57 0
-197 44 -384 0
-98 28 -456 0
157 -220 -482 0
-453 6 -142 0
221 -70 -163 0
364 -153 -95 0
-139 -329 -87 0
274 177 181 0
109 61 -42 0
409 327 103 0
-308 -206 -239 0
-86 492 109 0
278 423 444 0
-67 -223 -110 0
-496 341 -185 0
162 431 -36 0
430 482 34 0
-378 121 76 0
369 -158 243 0
112 111 -90 0
-219 373 50 0
-374 204 -448 0
293 427 -62 0
-239 447 -337 0
452 -411 366 0
-121 -187 282 0
-244 -16 -72 0
-331 -319 -304 0
-223 -338 81 0
474 -497 -274 0
259 -294 378 0
139 -237 -400 0
-187 125 135 0
202 16 -211 0
-229 -350 104 0
-332 -379 -56 0
229 63 -401 0
-252 160 -218 0
453 -442 -54 0
10 174 493 0
285 -138 -84 0
43 351 -21 0
-178 383 242 0
251 -35 -204 0
340 -106 119 0
10 71 372 0
-311 -159 -69 0
-446 -207 -364 0
138 129 -172 0
227 445 -350 0
-210 125 70 0
334 240 -434 0
43 1 -482 0
-169 331 -149 0
-291 -430 491 0
201 317 334 0
-282 -391 384 0
-221 134 -121 0
-139 -51 35 0
123 -225 -500 0
-51 -299 68 0
-308 -479 -238 0
-179 54 -421 0
248 59 143 0
-424 491 -285 0
268 470 -138 0
248 97 249 0
17 305 13 0
334 96 279 0
213 340 178 0
480 -176 -332 0
-164 -186 -262 0
-25 -389 -38 0
-141 165 488 0
-208 -312 436 0
281 -150 288 0
262 -428 -88 0
445 154 32 0
-24 -463 440 0
194 84 2 0
271 485 128 0
221 -100 236 0
459 -10 386 0
89 59 -58 0
-397 365 -308 0
-410 64 392 0
-257 -31 500 0
-120 -244 264 0
58 -348 -207 0
-204 150 -199 0
284 -264 -93 0
115 -107 43 0
78 -191 -382 0
354 -346 185 0
-257 464 -86 0
478 382 -441 0
-16 -295 153 0
-188 -145 -274 0
-476 -49 -208 0
231 -334 424 0
137 -147 20 0
-332 67 -312 0
476 -13 -28 0
273 340 -440 0
475 86 -331 0
68 36 -329 0
287 189 350 0
-360 492 -162 0
-127 -208 431 0
119 -355 222 0
373 400 -476 0
117 -32 -95 0
178 313 311 0
-197 -116 -83 0
64 -217 463 0
250 142 -227 0
-470 -365 -165 0
-461 295 332 0
-37 -452 184 0
-195 199 379 0
-172 309 -338 0
-135 -261 -239 0
330 -453 156 0
282 -203 -102 0
-270 492 -417 0
-194 201 494 0
424 454 290 0
443 -23 140 0
-353 -298 -36 0
-217 82 -216 0
-110 -307 -309 0
-318 -484 -331 0
465 384 155 0
-407 -211 209 0
402 53 -448 0
374 -29 -111 0
105 -232 390 0
5 -439 -349 0
114 -111 260 0
142 -360 386 0
-435 -83 -312 0
263 226 -302 0
-78 -183 -402 0
-56 172 -499 0
-444 344 -221 0
-5 401 331 0
337 471 -106 0
156 438 215 0
375 -11 -162 0
-230 223 304 0
-244 443 271 0
-344 461 -237 0
-126 -485 158 0
-348 -133 398 0
-234 346 148 0
-125 278 -287 0
285 -182 498 0
-134 -180 419 0
-248 -61 411 0
-499 -114 422 0
71 339 -40 0
217 476 333 0
167 351 377 0
102 -400 -263 0
18 -135 -71 0
424 -106 -86 0
-189 -76 -367 0
371 -383 281 0
-33 448 172 0
-287 194 -103 0
-427 -126 -326 0
144 -100 107 0
32 -250 -473 0
-6 401 383 0
283 465 383 0
-385 -391 -495 0
-412 -265 454 0
-157 -380 -231 0
-6 275 -364 0
-181 67 -397 0
410 441 -428 0
-448 -353 328 0
-388 -478 -172 0
-285 367 -11 0
-111 266 -40 0
-396 -327 318 0
-206 200 177 0
-128 -252 -197 0
-163 -151 359 0
-451 249 -304 0
167 -126 -306 0
119 -326 164 0
-298 291 -266 0
-122 174 -1 0
-481 -338 -262 0
192 315 -146 0
-457 87 488 0
139 486 -1 0
476 -99 384 0
-189 207 -12 0
57 -187 9 0
-264 88 -244 0
-252 365 431 0
-376 133 227 0
-274 70 -382 0
54 250 -222 0
-336 -266 18 0
-475 336 -172 0
284 -240 -223 0
-194 -400 166 0
-41 -175 -439 0
260 285 268 0
-300 -67 -389 0
-274 249 -365 0
-45 -142 -478 0
-350 441 -207 0
-148 -347 252 0
313 -366 401 0
326 45 348 0
-280 41 -192 0
-219 -45 -132 0
-390 -491 403 0
-417 186 -466 0
383 212 -405 0
160 410 -376 0
-100 229 -298 0
-167 470 41 0
-264 294 41 0
-459 -44 386 0
-209 229 116 0
324 391 409 0
-73 182 -416 0
-270 196 235 0
-253 -455 201 0
385 326 -118 0
103 -277 -176 0
238 291 313 0
69 -438 -477 0
-15 360 -485 0
207 382 -334 0
-302 -187 372 0
-458 -396 -495 0
-85 -75 -42 0
147 -420 117 0
-441 428 199 0
-173 -407 219 0
369 -476 -191 0
275 368 114 0
-328 -102 135 0
-465 -90 145 0
-358 -286 151 0
-301 -161 292 0
170 -387 -274 0
313 184 -21 0
465 388 -240 0
-55 -413 422 0
7 -160 271 0
-405 115 312 0
-228 -83 103 0
291 432 -358 0
-37 289 -201 0
-276 -372 370 0
-179 -187 -109 0
-400 -434 -220 0
-493 -438 -480 0
353 -50 153 0
83 453 -351 0
-190 245 -31 0
-433 33 66 0
-228 -325 -310 0
-414 -442 222 0
151 -240 236 0
305 496 -383 0
-276 423 -374 0
-442 397 203 0
219 428 333 0
9 496 382 0
-195 402 -96 0
-140 -413 -173 0
-326 437 339 0
280 242 384 0
12 204 247 0
-315 -28 127 0
233 -240 -65 0
454 -433 33 0
83 399 -266 0
-5 94 193 0
53 183 -102 0
-389 -368 -108 0
353 -113 472 0
322 -99 314 0
132 491 177 0
-427 348 -52 0
-58 225 -91 0
-218 481 -319 0
24 -76 -162 0
-291 -493 -389 0
-89 348 -419 0
31 -197 41 0
-64 191 -276 0
354 383 304 0
-120 -498 -242 0
275 -400 -46 0
472 -301 -87 0
-89 -87 -404 0
420 -319 480 0
431 306 -269 0
261 -226 391 0
266 14 -338 0
-203 -281 168 0
361 395 -350 0
132 -470 261 0
102 40 -184 0
192 483 -91 0
220 -210 -444 0
-183 -33 363 0
-156 -479 -194 0
170 287 -128 0
-147 358 -294 0
-197 -131 447 0
-165 -85 -287 0
-278 324 482 0
-411 -257 -202 0
-319 205 -126 0
84 -207 -192 0
46 176 237 0
46 386 225 0
-270 -126 286 0
-92 307 417 0
-209 -390 461 0
381 227 -93 0
-76 -231 178 0
119 169 380 0
59 41 44 0
-294 157 15 0
256 -74 -214 0
-458 -330 404 0
122 -69 54 0
371 264 -457 0
440 283 -95 0
-301 59 -55 0
216 -170 -55 0
95 308 151 0
-175 97 418 0
10 -255 125 0
-102 -328 -320 0
3 15 -253 0
163 349 -133 0
479 233 219 0
-200 -211 -303 0
116 139 77 0
-182 -457 -214 0
-326 8 201 0
146 -238 -201 0
182 -398 -57 0
-168 -86 15 0
413 135 -290 0
178 296 344 0
-257 152 -334 0
-39 -424 401 0
348 482 -253 0
-108 245 -308 0
-345 -416 51 0
-183 241 -318 0
185 -437 239 0
-335 -334 -202 0
-49 -475 -435 0
-441 488 249 0
-491 56 -84 0
-51 -391 203 0
441 220 -250 0
-164 -289 56 0
-369 44 477 0
69 44 411 0
467 -326 20 0
78 466 -251 0
379 -411 104 0
445 405 -308 0
-73 85 -492 0
162 -347 460 0
100 -177 274 0
36 348 424 0
-12 -281 346 0
-381 340 78 0
444 260 -26 0
189 345 287 0
-66 -109 162 0
-439 138 32 0
-42 -483 242 0
65 -297 -20 0
-319 497 183 0
186 -468 389 0
96 224 -405 0
-139 193 32 0
21 -489 145 0
264 -417 65 0
-117 -310 -330 0
223 163 194 0
-300 -309 -278 0
-333 222 11 0
-279 144 -326 0
-353 465 80 0
489 325 -344 0
195 -320 456 0
-52 384 109 0
-226 -14 -444 0
266 -173 -191 0
-343 -75 434 0
381 82 303 0
482 115 -266 0
-237 39 466 0
-375 -341 -25 0
-106 -221 254 0
-170 360 -298 0
-249 274 389 0
239 -65 -450 0
-231 48 -292 0
200 -488 -62 0
-352 -127 223 0
325 -235 40 0
-275 205 -406 0
-106 -143 436 0
217 412 222 0
404 -87 -315 0
234 -25 -205 0
494 -323 -424 0
-372 -399 419 0
-429 28 -183 0
246 -188 -77 0
174 189 73 0
-213 254 -432 0
321 499 -319 0
431 58 -243 0
304 -193 319 0
-459 144 -266 0
-348 -5 257 0
144 194 -374 0
-100 328 310 0
205 -493 -70 0
-485 178 -170 0
-271 -492 -282 0
-164 359 -390 0
-277 352 16 0
-487 -48 -97 0
480 -198 -424 0
-398 -136 264 0
416 100 162 0
-120 382 -40 0
298 76 467 0
389 -452 139 0
143 -354 -451 0
-306 440 -202 0
75 -374 401 0
183 460 -327 0
466 -343 129 0
377 -59 -320 0
-73 470 248 0
232 213 473 0
420 360 485 0
304 -200 471 0
346 -203 -104 0
-83 192 235 0
475 311 44 0
-265 242 -54 0
-376 228 49 0
-230 439 60 0
53 -490 -362 0
-3 173 -412 0
437 -225 355 0
-99 98 456 0
192 138 73 0
-419 218 88 0
-74 -212 -240 0
294 272 -130 0
-322 89 421 0
127 184 260 0
158 -353 -243 0
-461 -340 -300 0
-379 -273 -444 0
422 -255 -222 0
-139 -35 48 0
-158 498 -172 0
443 -216 -488 0
-429 -25 34 0
-193 293 -233 0
402 160 -191 0
-186 451 316 0
433 484 486 0
-182 -303 -45 0
-28 -115 -213 0
255 161 300 0
383 -278 -35 0
378 -390 425 0
-352 -88 287 0
384 -388 -500 0
-301 476 -67 0
-234 121 -278 0
-18 -206 -146 0
243 -380 -437 0
-493 -192 39 0
-370 -250 353 0
15 -374 -395 0
-51 216 -264 0
-394 273 257 0
139 151 -143 0
-129 83 350 0
-430 26 -407 0
-327 185 -4 0
-413 130 271 0
-419 -16 -79 0
-134 -152 -193 0
-75 -466 -197 0
220 496 -55 0
54 405 -442 0
147 32 -142 0
273 -109 -234 0
490 -450 41 0
192 -318 -333 0
93 411 293 0
-51 27 277 0
251 385 -228 0
277 -292 -125 0
212 -203 -487 0
-367 290 418 0
490 155 56 0
-311 55 232 0
-391 431 402 0
-235 201 -140 0
269 -442 59 0
337 -347 328 0
-47 231 61 0
121 -30 201 0
-122 -84 293 0
33 -142 -361 0
133 -452 357 0
320 401 152 0
-401 -52 -67 0
-339 -19 267 0
248 120 -373 0
349 220 -53 0
-20 78 143 0
-85 425 155 0
257 345 -92 0
-489 -243 -300 0
-102 -442 200 0
377 -385 211 0
-327 259 -342 0
325 -379 -148 0
464 438 80 0
105 301 46 0
-204 -127 126 0
-23 -27 -160 0
-27 13 -218 0
103 -464 282 0
396 16 158 0
268 -168 -392 0
400 -415 255 0
-138 -209 428 0
488 248 -102 0
-119 -351 78 0
-238 393 -260 0
-455 475 292 0
498 -149 364 0
115 499 25 0
235 76 67 0
-448 496 -214 0
-267 368 -262 0
-119 -371 123 0
317 177 92 0
473 375 149 0
-47 99 -93 0
-54 -45 398 0
-136 -499 430 0
322 468 -317 0
-339 458 -379 0
115 225 111 0
-342 420 -405 0
-405 -88 379 0
149 8 -159 0
167 338 10 0
320 169 -251 0
321 453 307 0
266 -56 -135 0
205 165 -356 0
61 -484 470 0
434 -463 -92 0
100 227 -495 0
-379 397 -370 0
62 374 -168 0
122 -288 2 0
-360 122 298 0
-149 165 -133 0
-273 355 -86 0
-52 46 -289 0
-44 -263 -238 0
306 -242 78 0
217 -387 -156 0
-478 -273 -116 0
-123 -153 188 0
-175 -477 -305 0
-448 -83 470 0
-183 -40 -16 0
110 90 -385 0
-228 -221 87 0
336 389 -267 0
43 498 322 0
214 340 95 0
-160 135 324 0
247 352 493 0
151 256 402 0
255 423 -238 0
182 82 490 0
-43 -406 75 0
130 -407 449 0
-2 308 147 0
-161 -221 -204 0
365 -93 -281 0
-124 -434 379 0
-326 15 -107 0
-156 -409 420 0
-125 -435 85 0
-169 -128 3 0
-30 96 187 0
-390 121 -445 0
-358 451 -75 0
99 -351 -118 0
-443 98 361 0
-418 407 450 0
-126 387 -277 0
-135 -42 471 0
-18 -458 -265 0
245 -324 -383 0
391 185 -69 0
10 -143 381 0
48 -131 69 0
174 -363 -477 0
-108 -28 80 0
317 177 -1 0
-361 -414 -415 0
-290 -210 373 0
-200 140 76 0
245 331 127 0
162 -459 349 0
-5 391 485 0
422 21 443 0
391 -448 102 0
124 -494 -277 0
203 262 -435 0
385 58 342 0
-83 -79 220 0
22 -271 491 0
-47 -247 -114 0
483 328 -450 0
-96 -478 -73 0
-208 78 55 0
-474 241 -37 0
433 332 336 0
105 301 409 0
33 -482 366 0
-145 299 251 0
-357 -231 -113 0
-205 394 -108 0
-52 -301 330 0
320 308 -494 0
196 404 -219 0
476 271 288 0
-332 266 -136 0
46 -64 -78 0
-100 -249 -40 0
-209 -402 237 0
-209 -86 138 0
153 -416 -222 0
-168 316 -331 0
25 -438 -192 0
-155 257 217 0
282 126 345 0
491 473 -229 0
-340 496 403 0
245 87 -200 0
-219 126 -9 0
227 -301 -157 0
271 -247 -252 0
-168 -402 -281 0
217 -422 163 0
-42 94 -105 0
498 225 -199 0
366 -144 -412 0
-391 464 -50 0
203 114 -60 0
-169 -180 141 0
448 -372 7 0
-75 2 -498 0
39 -415 -137 0
251 195 215 0
-398 429 -334 0
-108 -292 -154 0
33 138 -450 0
-10 -356 -123 0
-68 -77 492 0
197 -119 -295 0
-368 -443 16 0
-454 -101 221 0
-131 371 -7 0
104 201 409 0
199 -439 327 0
-412 297 -92 0
367 -450 14 0
329 47 247 0
471 -6 -490 0
22 -426 -334 0
392 -144 -127 0
145 -279 186 0
98 83 -379 0
-264 498 -436 0
169 -454 57 0
-187 99 466 0
332 -355 485 0
-393 -409 -352 0
-436 474 259 0
-423 -404 445 0
353 467 280 0
-28 -415 -254 0
-11 190 214 0
373 35 -1 0
-243 362 -346 0
43 -152 -196 0
325 -20 -147 0
195 172 -140 0
106 -197 165 0
-107 152 137 0
218 -414 94 0
-247 -362 74 0
355 -118 -252 0
-362 406 -461 0
70 298 -18 0
-271 178 -267 0
-460 -6 -397 0
-271 220 -107 0
-219 -275 -120 0
340 -117 488 0
-94 331 -261 0
13 -365 -398 0
-161 293 -23 0
-260 -298 -383 0
-448 391 -373 0
-409 -262 490 0
175 1 -439 0
-488 347 75 0
-149 -456 417 0
309 485 -43 0
213 -44 340 0
-183 -224 53 0
418 -439 237 0
-229 -368 -318 0
163 -459 -187 0
455 94 409 0
-400 -402 -397 0
478 -293 -16 0
-208 -143 -415 0
372 135 -67 0
-254 -256 -172 0
-103 201 -329 0
-113 -291 294 0
-433 53 -371 0
492 27 57 0
203 -293 37 0
178 -194 224 0
247 -193 1 0
82 334 43 0
110 266 -154 0
-223 -457 -117 0
114 103 78 0
-202 -448 -406 0
-298 -148 165 0
148 149 166 0
-30 -270 183 0
-208 -251 453 0
-101 129 255 0
-315 -198 -214 0
-221 250 205 0
374 -334 18 0
490 123 229 0
228 -283 -290 0
115 -450 -221 0
-213 -163 48 0
437 -121 -444 0
-67 -137 177 0
209 -372 -479 0
390 -80 -1 0
103 119 233 0
-340 139 471 0
-4 -313 -278 0
104 56 -219 0
-478 250 -193 0
478 84 -249 0
282 466 -285 0
-131 -204 210 0
26 46 128 0
254 -50 -135 0
-217 480 163 0
204 420 -367 0
39 -285 -255 0
-440 132 -286 0
343 406 98 0
-429 417 91 0
500 98 397 0
70 192 314 0
-447 293 -273 0
-500 319 -290 0
390 -442 -115 0
-115 72 162 0
-19 474 -216 0
185 -451 -172 0
409 -108 -59 0
205 -105 182 0
-116 -328 369 0
146 -357 87 0
342 -436 -398 0
-85 330 449 0
231 411 489 0
-114 125 -497 0
-89 315 -344 0
-308 20 -367 0
251 -96 34 0
-81 33 -439 0
-496 367 -349 0
-60 -157 -370 0
90 -243 336 0
-386 78 475 0
-16 -497 156 0
117 -118 -400 0
-172 169 -365 0
24 478 -420 0
28 149 332 0
466 -114 39 0
-242 -326 392 0
411 44 394 0
-284 471 -431 0
257 396 153 0
24 92 -219 0
35 406 205 0
476 -8 -348 0
34 70 -187 0
344 -60 293 0
-447 344 159 0
485 494 347 0
-274 -88 -331 0
54 354 106 0
-486 -361 -143 0
127 182 -108 0
311 240 496 0
201 -60 111 0
-48 -125 482 0
304 -98 313 0
138 498 -467 0
457 -275 494 0
-168 469 196 0
-222 161 -403 0
75 -125 391 0
-362 -40 -477 0
247 -157 243 0
-408 -149 173 0
-367 -405 94 0
329 -475 260 0
-58 -500 -171 0
491 215 272 0
-485 323 -398 0
443 -97 158 0
-414 490 413 0
235 384 55 0
-70 232 -134 0
-121 -337 307 0
8 -327 -132 0
445 -143 27 0
-201 -22 -350 0
-159 -453 -213 0
-108 -288 -34 0
-242 25 -221 0
-432 -211 -387 0
79 -432 -40 0
-449 8 242 0
-176 422 -464 0
-422 -35 -240 0
181 -292 322 0
458 -39 -310 0
-361 -461 80 0
-212 -449 -500 0
67 -488 -168 0
-102 -210 -9 0
375 196 149 0
371 450 224 0
-450 -470 -467 0
-234 -186 -56 0
160 -295 -157 0
486 -267 53 0
-296 450 -112 0
-409 239 -210 0
-336 227 49 0
-301 -318 410 0
198 332 354 0
425 493 -76 0
-417 171 -131 0
264 -328 -76 0
-145 266 -123 0
-329 47 -202 0
-141 -56 317 0
-224 500 163 0
-401 -471 -478 0
305 -42 -491 0
16 90 164 0
-40 -446 -402 0
-220 364 289 0
115 -388 -340 0
313 154 333 0
292 164 436 0
-147 -185 -174 0
-45 -361 -241 0
-45 461 381 0
303 -456 -46 0
81 290 99 0
-451 -142 -70 0
421 -360 -353 0
-377 -414 350 0
316 64 106 0
-160 -120 55 0
-265 -495 394 0
-127 -324 282 0
395 52 178 0
-275 329 169 0
500 -377 371 0
112 -25 108 0
247 190 143 0
285 -288 233 0
123 -339 -169 0
-182 -12 62 0
-429 422 -340 0
398 305 206 0
433 -157 -290 0
-30 61 -97 0
39 -105 -125 0
310 444 130 0
-183 404 -425 0
-200 316 -335 0
-128 -272 271 0
-149 -267 215 0
492 58 -21 0
-450 247 -158 0
-225 -321 -8 0
-76 -156 -304 0
283 -271 381 0
280 162 491 0
-227 288 -367 0
115 397 23 0
227 -478 404 0
-269 -288 -188 0
-198 -492 420 0
350 -452 420 0
452 133 110 0
254 -49 -8 0
-290 490 -257 0
47 -325 -496 0
-313 336 -398 0
352 -377 -407 0
15 355 84 0
-177 -461 -179 0
-390 -164 -332 0
93 101 -392 0
-498 -445 303 0
-107 320 -457 0
-296 -388 -375 0
326 229 283 0
-110 221 -22 0
229 454 -266 0
-231 -57 -162 0
493 490 99 0
396 -145 439 0
189 -164 -359 0
-74 191 -259 0
138 216 300 0
-222 167 -389 0
-357 324 45 0
399 115 -267 0
-151 -404 22 0
-338 -343 269 0
114 -353 345 0
306 -343 -490 0
-232 156 -61 0
494 -14 -307 0
-26 -27 77 0
429 -388 260 0
-422 47 -25 0
-275 144 -220 0
-372 -324 472 0
279 300 372 0
-226 309 454 0
301 -285 435 0
-146 -88 -78 0
-156 -228 -347 0
58 333 -24 0
-326 29 314 0
19 240 142 0
-106 405 38 0
386 -50 -249 0
49 9 -376 0
-392 -245 -340 0
353 47 -50 0
-481 -63 454 0
17 -260 135 0
114 172 286 0
-394 384 210 0
-224 377 -281 0
-233 457 437 0
453 -500 -29 0
-310 -42 55 0
181 -341 254 0
-397 155 263 0
313 -472 403 0
-420 209 105 0
227 -128 -11 0
-426 267 -156 0
155 -386 -256 0
-174 -347 9 0
252 -331 120 0
304 -205 262 0
88 96 179 0
-143 -411 -169 0
330 -73 340 0
-351 -384 -388 0
-454 61 -71 0
464 227 -87 0
28 247 -319 0
6 -267 147 0
-328 62 149 0
-307 470 -463 0
-244 82 -47 0
-63 -131 225 0
-269 -69 -100 0
77 -116 352 0
369 140 -437 0
-185 318 -287 0
72 -163 -449 0
63 277 -211 0
-74 -57 -323 0
355 313 -322 0
401 -169 -12 0
13 470 198 0
479 -314 415 0
-418 191 -53 0
-95 -349 -223 0
-249 117 -294 0
-174 159 -460 0
70 -226 124 0
345 -134 -65 0
51 -123 450 0
-189 413 496 0
-151 195 -379 0
-429 -287 -100 0
-29 31 9 0
-357 160 -267 0
-227 89 -373 0
448 258 28 0
460 -263 -39 0
-209 -328 377 0
254 68 -457 0
254 -242 -19 0
-197 -190 163 0
-44 -200 303 0
356 310 204 0
-193 -490 -292 0
-490 343 -264 0
225 -407 -232 0
475 -62 83 0
182 -332 101 0
156 -97 317 0
250 429 244 0
-482 -25 -70 0
384 429 181 0
358 -311 39 0
15 -233 -215 0
-122 455 -63 0
-58 -92 -163 0
-191 -164 -125 0
-328 -467 -93 0
-273 -468 207 0
328 -475 -173 0
-172 -149 485 0
-254 -438 417 0
37 332 -343 0
-193 444 16 0
-85 283 -402 0
247 -94 -444 0
302 235 -138 0
-343 -470 -466 0
-140 439 -100 0
492 286 304 0
-358 330 164 0
-4 336 -362 0
474 -37 -342 0
-114 178 348 0
-365 458 -446 0
212 -422 410 0
310 -168 451 0
200 -335 -235 0
-268 203 -63 0
-402 -332 198 0
233 -284 23 0
-301 -172 419 0
228 292 -319 0
434 -41 23 0
369 269 -381 0
429 -66 -423 0